$((\mathrm{CycD}=0)\land (\mathrm{CycE}=0)\land (\mathrm{CycA}=0)\land (\mathrm{CycB}=0))\lor ((\mathrm{CycD}=0)\land (\mathrm{CycE}=0)\land (\mathrm{CycA}=1)\land (\mathrm{p27}=1)\land (\mathrm{CycB}=0))\lor ((\mathrm{CycD}=0)\land (\mathrm{CycE}=1)\land (\mathrm{p27}=1)\land (\mathrm{CycB}=0))$ $((\mathrm{Rb}=0)\land (\mathrm{CycA}=0)\land (\mathrm{CycB}=0))\lor ((\mathrm{Rb}=0)\land (\mathrm{CycA}=1)\land (\mathrm{p27}=1)\land (\mathrm{CycB}=0))$ $(\mathrm{Rb}=0)\land (\mathrm{E2F}=1)$ $((\mathrm{Rb}=0)\land (\mathrm{E2F}=0)\land (\mathrm{CycA}=1)\land (\mathrm{Cdc20}=0)\land (\mathrm{cdh1}=0))\lor ((\mathrm{Rb}=0)\land (\mathrm{E2F}=0)\land (\mathrm{CycA}=1)\land (\mathrm{Cdc20}=0)\land (\mathrm{cdh1}=1)\land (\mathrm{UbcH10}=0))\lor ((\mathrm{Rb}=0)\land (\mathrm{E2F}=1)\land (\mathrm{Cdc20}=0)\land (\mathrm{cdh1}=0))\lor ((\mathrm{Rb}=0)\land (\mathrm{E2F}=1)\land (\mathrm{Cdc20}=0)\land (\mathrm{cdh1}=1)\land (\mathrm{UbcH10}=0))$ $((\mathrm{CycD}=0)\land (\mathrm{CycE}=0)\land (\mathrm{CycA}=0)\land (\mathrm{CycB}=0))\lor ((\mathrm{CycD}=0)\land (\mathrm{CycE}=0)\land (\mathrm{CycA}=1)\land (\mathrm{p27}=1)\land (\mathrm{CycB}=0))\lor ((\mathrm{CycD}=0)\land (\mathrm{CycE}=1)\land (\mathrm{CycA}=0)\land (\mathrm{p27}=1)\land (\mathrm{CycB}=0))$ $\mathrm{CycB}=1$ $((\mathrm{CycA}=0)\land (\mathrm{Cdc20}=0)\land (\mathrm{CycB}=0))\lor ((\mathrm{CycA}=0)\land (\mathrm{Cdc20}=1))\lor ((\mathrm{CycA}=1)\land (\mathrm{p27}=0)\land (\mathrm{Cdc20}=1))\lor ((\mathrm{CycA}=1)\land (\mathrm{p27}=1)\land (\mathrm{Cdc20}=0)\land (\mathrm{CycB}=0))\lor ((\mathrm{CycA}=1)\land (\mathrm{p27}=1)\land (\mathrm{Cdc20}=1))$ $((\mathrm{CycA}=0)\land (\mathrm{Cdc20}=0)\land (\mathrm{cdh1}=0))\lor ((\mathrm{CycA}=0)\land (\mathrm{Cdc20}=0)\land (\mathrm{cdh1}=1)\land (\mathrm{UbcH10}=1)\land (\mathrm{CycB}=1))\lor ((\mathrm{CycA}=0)\land (\mathrm{Cdc20}=1)\land (\mathrm{cdh1}=0))\lor ((\mathrm{CycA}=0)\land (\mathrm{Cdc20}=1)\land (\mathrm{cdh1}=1)\land (\mathrm{UbcH10}=1))\lor ((\mathrm{CycA}=1)\land (\mathrm{cdh1}=0))\lor ((\mathrm{CycA}=1)\land (\mathrm{cdh1}=1)\land (\mathrm{UbcH10}=1))$ $(\mathrm{Cdc20}=0)\land (\mathrm{cdh1}=0)$